Finally, one important bit: by default ext4 will reserve 5% of the disk for the root user. You can see this like so:
root@strawberry:~# tune2fs -l /dev/sda1 | grep Reserved
Reserved block count: 1562918
Reserved GDT blocks: 1024
Reserved blocks uid: 0 (user root)
Reserved blocks gid: 0 (group root)
1562918 blocks * 4096 block size = ~6GB.
You can reduce the percent to say 2 like this:
tune2fs -m 2 /dev/sda1
Unless you have a big disk, I would leave it at 5%.